動的プログラム解析
Abstract interpretation
Daikon
Dynamic load testing
Profiling (computer programming)
オペレーションズリサーチ、作戦研究
Operations research topics
Black box analysis
dynamic programming
Inventory theory
aspect-oriented software development
Bachelor of Science in Information Technology
design
design rationale
graphic design
自動定理証明
Curry–Howard correspondence
Symbolic computation
Ramanujan machine
Computer-aided proof
モデル検査
Automated theorem proving
Binary decision diagram
Büchi automaton
Dynamic program analysis
Runtime error detection
Runtime application self-protection (RASP)
runtime verification
ソフトウェアテスト
cross-browser testing – Checking web applications in various browsers
data validation – The process of ensuring computer data is both correct and useful
database testing, testing of databases
dynamic program analysis
静的コード解析
性能解析
https://ja.wikipedia.org/wiki/動的プログラム解析
static code analysis
static program analysis
動的プログラム解析 (dynamic program analysis)
シェープ解析(Shape analysis)
プログラム意味論(Program Semantics)
実際にうごかしてみる
コードリーディング:ビルドしてみる
コードリーディング:デバッガから実行してみる
コードリーディング:トレースする
コードリーディング:好みに書き換えてみる
遺伝的プログラミング
Bio-inspired computing
Cartesian genetic programming
Covariance Matrix Adaptation Evolution Strategy (CMA-ES)
Fitness approximation